1) I used IMR image resizer to resize a few files to 10% of their original size. It produces .jpg files. I then used a file converter to turn the .jpg files into .dds, replacing the originals. I tried one batch with DXT1, another bacth with DXT3. Neither